Computability logic

Results: 552



#Item
361Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirrors.ucr.ac.cr

Language: English - Date: 2013-08-06 13:14:53
362Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirrors.ircam.fr

Language: English - Date: 2013-08-06 13:14:53
363Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: kambing.ui.ac.id

Language: English - Date: 2013-08-06 13:14:53
364Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ftp.fernuni-hagen.de

Language: English - Date: 2013-08-06 13:14:53
365Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ftp.leg.uct.ac.za

Language: English - Date: 2013-08-06 13:14:53
366Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirror.macomnet.net

Language: English - Date: 2013-08-06 12:14:00
367Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: sunsite.informatik.rwth-aachen.de

Language: English - Date: 2013-08-06 13:14:53
368Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirror.aut.ac.nz

Language: English - Date: 2013-08-06 12:14:00
369Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.megagod.net

Language: English - Date: 2013-08-06 12:14:00
370Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ftp.cvut.cz

Language: English - Date: 2013-08-06 13:14:53
UPDATE